408 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 41,

Source URL: homes.cs.washington.edu

• Theoretical computer science
• Formal methods
• Type theory
• Algorithms
• Programming paradigms
• Finite-state machine
• Algorithm
• Declarative programming
• HindleyMilner type system
• RANSAC
• Monad

PDF Document

Source URL: mp.binaervarianz.de

• Software optimization
• Computing
• Computer programming
• Computer performance
• Software engineering
• Memoization
• Theoretical computer science
• Subroutines
• Algorithm
• Lookup table
• Profiling
• Cache

A Range-Free Tracking Algorithm in Vehicular Ad-Hoc Networks Sudhir Kumar, Kumar Kislay∗ , Mohit Kumar Singh† and Rajesh M. Hegde Department of Electrical Engineering Indian Institute of Technology, Kanpur, India Ema

Source URL: home.iitk.ac.in

Dynamic Programming Algorithm for Optimization of β-Decision Rules Talha Amin1 , Igor Chikalov1 , Mikhail Moshkov1 , and Beata Zielosko1,2 1 Mathematical and Computer Sciences & Engineering Division

Source URL: csp2011.mimuw.edu.pl

Fact-based Inter-Process Communication Primitives for Programming Distributed Systems Robbert van Renesse, Department of Computer Science Cornell University Category: Representation The following position paper describes

Source URL: www.cs.cornell.edu

• Concurrent computing
• Computing
• Software engineering
• Fault-tolerant computer systems
• Distributed computing
• Inter-process communication
• Message-oriented middleware
• Publishsubscribe pattern
• Paxos
• Consensus
• Communications protocol
• Distributed algorithm

Simulation Optimization of Police Patrol District Design Using an Adjusted Simulated Annealing Approach Yue Zhang, Donald Brown Predictive Technology Laboratory, Department of Systems and Information Engineering, Univers

Source URL: ptl.sys.virginia.edu

• Scientific modeling
• Operations research
• Applied mathematics
• Metaheuristics
• Simulated annealing
• Simulation
• Numerical analysis
• Algorithm
• Computer simulation
• Annealing
• Discrete event simulation
• Mathematical optimization

Noise Robust Pitch Tracking by Subband Autocorrelation Classification Byung Suk Lee1 and Daniel P. W. Ellis1,2 1 2

Source URL: www.ee.columbia.edu

• Auditory perception
• Audio engineering
• Signal processing
• Time series analysis
• Digital signal processing
• Perception
• Statistics
• Electrical engineering
• Autocorrelation
• Pitch detection algorithm
• Pitch
• Virtual pitch

Messsage exchange on FaceBook January 2015 with Sheela Arokia Mary ME: delete “Acceleration of Stochastic Algorithm on FPGA System” J.Sheela Arokia Mary Dept of Electrical & Electronics Engineering, Chennai, India s

Source URL: people.ece.cornell.edu

Multi-Scale Algorithm for Elliptic Equations

Source URL: www.ifd.mavt.ethz.ch

• Engineering
• Calculus
• Aerodynamics
• Mathematics
• Partial differential equations
• Chemical engineering
• Fluid dynamics
• Piping
• Fluid mechanics
• Equation
• Multigrid method
• Computational fluid dynamics

Logical Relations for Fine-Grained Concurrency Aaron Turon Jacob Thamsborg Amal Ahmed

Source URL: www.ccs.neu.edu

• Computer programming
• Software engineering
• Concurrency control
• Computing
• Recursion
• Spinlock
• Compare-and-swap
• Synchronization
• Thread
• Null
• Non-blocking algorithm
• Lock